Model 2

Results: 7950



#Item
101

Higher-Order Model Checking by Abstraction of Type Derivation Rewriting Takeshi Tsukada1,2 and Naoki Kobayashi3 1 Graduate School of Information Science, Tohoku University

Add to Reading List

Source URL: www-kb.is.s.u-tokyo.ac.jp

Language: English - Date: 2016-04-18 06:57:45
    102

    SceneNet: an Annotated Model Generator for Indoor Scene Understanding Ankur Handa1,2 , Viorica P˘atr˘aucean1 , Simon Stent1 , Roberto Cipolla1 Abstract— We introduce SceneNet, a framework for generating high-quality

    Add to Reading List

    Source URL: mi.eng.cam.ac.uk

    Language: English - Date: 2018-03-13 12:51:13
      103

      Model ponašanja pilota – verzija 2.0

      Add to Reading List

      Source URL: www.secureav.com

      Language: Croatian - Date: 2012-04-22 17:19:46
        104

        Simulations with MatCont Fabio Della Rossa Analyze the Rosenzweig-MacArthur model x˙ 1 = rx1 (1 − x˙ 2 = e

        Add to Reading List

        Source URL: home.deib.polimi.it

        Language: English - Date: 2016-11-14 12:26:45
          105

          A Segmentation-aware Object Detection Model with Occlusion Handling Tianshi Gao1 Benjamin Packer 2 Daphne Koller2 1 Department of Electrical Engineering, Stanford University

          Add to Reading List

          Source URL: ai.stanford.edu

          Language: English - Date: 2011-05-07 13:44:38
            106

            RF POWER AMPLIFIER 2017 Model ■ All Solid-State Amplifier ■ Broadband Frequency:10kHz~250MHz ■ Output Power:2.5kW @Psat.

            Add to Reading List

            Source URL: www.rk-microwave.com

            Language: English - Date: 2017-06-30 02:55:09
              107

              Model 1653 ISO 4401 size 5 - External Pilot 2 Stage Mechanical Feedback Proportional Control Valve 57

              Add to Reading List

              Source URL: www.servocontrolsindia.com

              Language: English - Date: 2011-07-26 06:01:35
                108

                Delaware State Innovation Model (DE SIM) State-Led Evaluation for Award Year 2 (AY2) PROJECT BRIEF April 2017 The State Innovation Model (SIM) is a broad-based health system transformation effort funded by the

                Add to Reading List

                Source URL: dhss.delaware.gov

                Language: English - Date: 2017-05-03 15:15:25
                  109

                  Grace Pillow from Here and Above by Deborah K. Lauro The model was stitched on an 18 ct linen square with #5 pearl cotton and Caron Watercolours. Each square on the graph equals 2 by 2 linen

                  Add to Reading List

                  Source URL: hereandabove.com

                  Language: English - Date: 2013-09-27 08:20:56
                    110

                    International Journal of Gas Turbine, Propulsion and Power Systems June 2012, Volume 4, Number 2 Single Entry Mixed Flow Turbine Performance Prediction With 1-D Gas Dynamic Code Coupled With Mean Line Model M. S. Chiong1

                    Add to Reading List

                    Source URL: www.gtsj.org

                    Language: English - Date: 2013-02-28 07:33:31
                      UPDATE